Nuprl Lemma : set_car_wf 13,42

p:PosetSig. |p Type 
latex


Upposet sig object directory
Definitions of StatementPosetSig, |p|
Definitionst.1, |p|, t  T, x:AB(x), PosetSig
Lemmasposet sig wf

origin